#ifndef FILE_thread_HPP
#define FILE_thread_HPP
// This header is there to emulate the C++11 <thread> header.
// Waiting for it, we use boost... I Hate boost.

#include <boost/thread.hpp>

namespace std{
typedef boost::thread thread;
typedef boost::mutex mutex;
typedef boost::condition_variable condition_variable;
template<typename T> class unique_lock : boost::unique_lock<T>{};
};
#endif // FILE_thread_HPP
